| emsoft | participants

Deepak D'Souza

EMSOFT 2024: 24th International Conference on Embedded Software

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems

Habeeb P, Deepak D'Souza, Kamal Lodaya, and Prabhakar Prabhakar